\begin{tabbing}
$x$ : $t$ initially $x$ = $v$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma\{\=$x$ : $t$;\+
\\[0ex]$\otimes$;
\\[0ex]$x$ : $v$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$\}
\-
\end{tabbing}